From: Heinrich Schuchardt <heinrich.schuchardt@canonical.com>
Date: Mon, 16 Feb 2026 07:00:18 +0000 (+0000)
Subject: correctly access file extension via boost::filesystem
X-Git-Tag: archive/raspbian/2019.2.0_git20230811.ff54a68+dfsg1-8+rpi1^2~3
X-Git-Url: https://dgit.raspbian.org/%22http:/www.example.com/%22mailto:kde%40ewsoftware.de//%22style.css/%22/%22http:/www.example.com/%22mailto:kde%40ewsoftware.de/%22style.css/%22?a=commitdiff_plain;h=26c23a81d51b6db7e8c57cbdd7eafe982c160c2d;p=mshr.git

correctly access file extension via boost::filesystem

Extension() is a method for a path object.

Last-Update: 2025-09-22
Forwarded: https://bitbucket.org/fenics-project/mshr/pull-requests/19


Gbp-Pq: Name boost_filesystem_extension.patch
---

diff --git a/app/mshrable.cpp b/app/mshrable.cpp
index 1f90a9e..e663bbe 100644
--- a/app/mshrable.cpp
+++ b/app/mshrable.cpp
@@ -125,7 +125,7 @@ int main(int argc, char** argv)
 
     if (vm.count("polyout"))
     {
-      std::string extension = boost::filesystem::extension(vm["polyout"].as<std::string>());
+      std::string extension = boost::filesystem::path(vm["polyout"].as<std::string>()).extension().string();
 
       if (extension != ".off")
       {